Intensional Type Theory with Guarded Recursive Types qua Fixed Points on Universes Lars Birkedal Rasmus Ejlers Møgelberg

Source URL: www.itu.dk

Imitation Learning for Accelerating Iterative Computation of Fixed Points in Quantum Chemistry Imitation Learning for Accelerating Iterative Computation of Fixed Points in Quantum Chemistry Editor:

Source URL: ewrl.files.wordpress.com

Least and greatest fixed points in linear logic David Baelde and Dale Miller ´ INRIA & LIX/Ecole Polytechnique, Palaiseau, France david.baelde at ens-lyon.org

Source URL: www.lix.polytechnique.fr

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization ∗ Marcelo Arenas Departamento de Ciencia de la Computaci´on Pontificia Universidad Cat´olica de Chile

Source URL: users.dcc.uchile.cl

Type-Based Termination, Inflationary Fixed-Points, and Mixed Inductive-Coinductive Types Andreas Abel Department of Computer Science Ludwig-Maximilians-University Munich, Germany

Source URL: www.cse.chalmers.se

A Cluster-Cumulant Expansion at the Fixed Points of Belief Propagation Max Welling Dept. of Computer Science University of California, Irvine

Source URL: www.ics.uci.edu

• Discrete mathematics
• Probability and statistics
• Cumulant
• Belief propagation
• Mathematics

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Marcelo Arenas1 1 Pablo Barcel´o2

Source URL: users.dcc.uchile.cl

FIXED POINTS OF A DESTABILIZED KURAMOTO-SIVASHINSKY EQUATION FERENC A. BARTHA†‡ AND WARWICK TUCKER§ † CAPA group, Department of Mathematics, University of Bergen, Bergen, Norway

Source URL: www2.math.uu.se

ANALYTIC GEOMETRY - GOOD PROBLEMS from Alex Pintilie Together: 1)a) Consider the fixed points A(-a,0) and B(a,0). Find the equation of the locus of the points M with the property MA2 - MB2 = k, where k is a constant. Ide

Source URL: www.pleacher.com